（来源：上观新闻）
（来源：arXi🕑v） 如下图所🍟示，FM-A6️⃣🇸🇽gent 提出了🍰🚅一种创🇷🇺🇰🇬新的自🔄🔭上而下规约生成🐢🍭范式：从用户对系🦠📆统整体正确行为的🚨期望出发✋👅，逐步推🍄💣导出每个函数应➕🙃满足的规约🇾🇪⏭。这就像是鹦鹉🥗学舌（复述函💐8️⃣数的工作流程）👩🎨💄，把 b💸ug 当🤸♀️成正确行👨🎤👨👩👧👧为写进❌🇧🇪去，会直接导🧼致后续的验证无🥋法发现 🔡🕊bug🌻👞。
比如，天🔣工队今年🔂🔸参赛的“具身天工🇧🇲”系列机器人，🌄🇸🇽就致力于复刻人类🍻跑姿🇷🇼🛐国产无套久久久国产。数据来源：💞同花顺i⌛FinD，截至2🚒🌟026.4🧯.13⛺🦅。（来源：🛳arX😡🦙iv） 如下图所🎡示，FM🕎-Age📽😷nt 提出了🤓一种创新🦖🙀的自上而下规↖约生成范式：🏩🏀从用户对系统整体🇬🇺🍐正确行为的期望出🍈发，逐👭🎚步推导出每个函🗡🖖数应满足的规约🚉。
